<?xml version="1.0" encoding="utf-8"?>
<Assembly>
	<Method Name="PISON.SharedDomain.Execution.get_ExecutionType()">
		<Outcome Kind="Enum" Outcome="Top" Message="The returned value may not be in the range defined for this enum value" PrimaryILOffset="0" MethodILOffset="0" />
	</Method>
	<Method Name="PISON.SharedDomain.Execution.get_Status()">
		<Outcome Kind="Enum" Outcome="Top" Message="The returned value may not be in the range defined for this enum value" PrimaryILOffset="0" MethodILOffset="0" />
	</Method>
	<Method Name="PISON.SharedDomain.ExecutionPlan.get_SelectedNetworkObjects()">
		<Outcome Kind="Ensures" Outcome="Top" Message="ensures unproven: Contract.ForAll(Contract.Result&lt;ISet&lt;NetworkObject&gt;&gt;(), n =&gt; n != null)" PrimaryILOffset="37" MethodILOffset="42" />
	</Method>
	<Method Name="PISON.SharedDomain.OptimizerInfo.Equals(System.Object)">
		<Outcome Kind="Nonnull" Outcome="Top" Message="Possibly calling a method on a null reference 'other'" PrimaryILOffset="2a" MethodILOffset="0" />
	</Method>
	<Method Name="PISON.SharedDomain.Schedule.get_ScheduleInterval()">
		<Outcome Kind="Enum" Outcome="Top" Message="The returned value may not be in the range defined for this enum value" PrimaryILOffset="0" MethodILOffset="0" />
	</Method>
	<Method Name="PISON.SharedDomain.Suggestion.Equals(System.Object)">
		<Outcome Kind="Nonnull" Outcome="Top" Message="Possibly calling a method on a null reference 'other'" PrimaryILOffset="2a" MethodILOffset="0" />
		<Outcome Kind="Nonnull" Outcome="Top" Message="Possibly calling a method on a null reference 'other'" PrimaryILOffset="37" MethodILOffset="0" />
	</Method>
	<Method Name="PISON.SharedDomain.ExecutionPlan.get_KPIAggregation()" Hash="OgkowvZQBdQ8XaCNzcSxs+9LF58=">
		<Outcome Kind="Enum" Outcome="Top" Message="The returned value may not be in the range defined for this enum value" PrimaryILOffset="0" MethodILOffset="0" />
	</Method>
	<Method Name="PISON.SharedDomain.ExecutionPlan.get_SlidingTimeInterval()" Hash="+FUdM2LQ9nxfgCE7PKhBdYOPZ54=">
		<Outcome Kind="Enum" Outcome="Top" Message="The returned value may not be in the range defined for this enum value" PrimaryILOffset="0" MethodILOffset="0" />
	</Method>
	<Method Name="PISON.SharedDomain.ExecutionPlan.get_SelectedNetworkObjects()" Hash="5uPqvYgGQ/ROxTl0YsmXLWKawt4=">
		<Outcome Kind="Ensures" Outcome="Top" Message="ensures unproven: Contract.ForAll(Contract.Result&lt;ICollection&lt;NetworkObject&gt;&gt;(), n =&gt; n != null)" PrimaryILOffset="37" MethodILOffset="42" />
	</Method>
	<Method Name="PISON.DataRepo.CellDataService..cctor()" Hash="hoeRBMoeTuGEBZxYN3NZR1dpQ3s=">
		<Outcome Kind="Requires" Outcome="Top" Message="requires unproven: !String.IsNullOrEmpty(name)" PrimaryILOffset="15" MethodILOffset="10" />
		<Outcome Kind="Requires" Outcome="Top" Message="requires unproven: !String.Equals(name, &quot;default&quot;, StringComparison.OrdinalIgnoreCase)" PrimaryILOffset="2f" MethodILOffset="10" />
	</Method>
	<Method Name="PISON.SharedDomain.ExecutionPlan.get_CommonParameters()" Hash="6SvLU2IBMsjcpibk2471/5tahHA=">
		<Outcome Kind="Ensures" Outcome="Top" Message="ensures unproven: Contract.ForAll(Contract.Result&lt;ICollection&lt;ExecutionPlanParameter&gt;&gt;(), n =&gt; n != null)" PrimaryILOffset="37" MethodILOffset="54" />
	</Method>
	<Method Name="PISON.SharedDomain.ExecutionPlan.get_OptimizerParameters()" Hash="hUuoo6T1kZ9lmWKFUMLo+GhXMTM=">
		<Outcome Kind="Ensures" Outcome="Top" Message="ensures unproven: Contract.ForAll(Contract.Result&lt;IList&lt;OptimizerParamKeyValuePair&gt;&gt;(), n =&gt; n != null)" PrimaryILOffset="37" MethodILOffset="7a" />
	</Method>
	<Method Name="PISON.SharedDomain.GeoUtils.GetDistance(PISON.SharedDomain.Point,PISON.SharedDomain.Point)" Hash="+zbWR8kkEScKT1NUmqzynPvb/WQ=">
		<Outcome Kind="Ensures" Outcome="Top" Message="ensures unproven: 0 &lt;= Contract.Result&lt;double&gt;()" PrimaryILOffset="13" MethodILOffset="47" />
	</Method>
	<Method Name="PISON.SharedDomain.GeoUtils.NormalizeAngle(System.Double)" Hash="PlRk7kNaOneV/pNkWG05reuGz4I=">
		<Outcome Kind="Ensures" Outcome="Top" Message="ensures unproven: System.Math.Abs(Contract.Result&lt;double&gt;()) &lt;= Math.PI" PrimaryILOffset="18" MethodILOffset="60" />
	</Method>
	<Method Name="PISON.SharedDomain.CellData.Add(PISON.SharedDomain.CellDataRelation)" Hash="oiftayLFJL8sbXiRe1MMti69OMg=">
		<Outcome Kind="Nonnull" Outcome="Top" Message="Possibly calling a method on a null reference 'this.relations'" PrimaryILOffset="19" MethodILOffset="0" />
	</Method>
	<Method Name="PISON.SharedDomain.CellData.FindRelation(PISON.SharedDomain.CellData)" Hash="mNf5r/Vjzopa/rcndSMP34I6L/Y=">
		<Outcome Kind="Nonnull" Outcome="Top" Message="Possibly calling a method on a null reference 'this.relations'" PrimaryILOffset="9" MethodILOffset="0" />
	</Method>
	<Method Name="PISON.SharedDomain.CellData.get_Relations()" Hash="Kvd2WLKED4JjpUEQiz5TFrix+Wo=">
		<Outcome Kind="Nonnull" Outcome="Top" Message="Possibly calling a method on a null reference 'this.relations'" PrimaryILOffset="6" MethodILOffset="0" />
	</Method>
	<Method Name="PISON.SharedDomain.CellData.RemoveRelation(PISON.SharedDomain.CellData)" Hash="dRu4Kaeqo+ZDUjp7HHDyA4+x0s4=">
		<Outcome Kind="Nonnull" Outcome="Top" Message="Possibly calling a method on a null reference 'this.relations'" PrimaryILOffset="7" MethodILOffset="0" />
	</Method>
	<Method Name="PISON.SharedDomain.BorderZone..ctor(PISON.SharedDomain.NetworkSnapshot)" Hash="TPG9fpXOXriPNNS0grZiZzcIpog=">
		<Outcome Kind="Nonnull" Outcome="Top" Message="Possibly calling a method on a null reference '((System.Linq.IGrouping)relationGroup).Key'" PrimaryILOffset="d9" MethodILOffset="0" />
		<Outcome Kind="Nonnull" Outcome="Top" Message="Possibly calling a method on a null reference" PrimaryILOffset="18e" MethodILOffset="0" />
		<Outcome Kind="Requires" Outcome="Top" Message="requires unproven: relation != null" PrimaryILOffset="7" MethodILOffset="d9" />
	</Method>
	<Method Name="PISON.SharedDomain.NetworkModel.GetVirtualDetections(PISON.SharedDomain.CellData,System.Collections.Generic.ICollection&lt;T)" Hash="JB01S5LX9TzCORSkfqLyzQ0KqgM=">
		<Outcome Kind="Ensures" Outcome="Top" Message="ensures unproven: Contract.ForAll(Contract.Result&lt;List&lt;Tuple&lt;T, double&gt;&gt;&gt;(),cen =&gt; cen != null)" PrimaryILOffset="6e" MethodILOffset="81" />
		<Outcome Kind="Ensures" Outcome="Top" Message="ensures unproven: Contract.ForAll(Contract.Result&lt;List&lt;Tuple&lt;T, double&gt;&gt;&gt;(),cen =&gt; cen != null)" PrimaryILOffset="6e" MethodILOffset="f3" />
	</Method>
	<Method Name="PISON.SharedDomain.NetworkModel.GetVirtualDetection(PISON.SharedDomain.CellData,PISON.SharedDomain.IRelation)" Hash="wnOmck2ulmqy4xmaad3scMsLKwM=">
		<Outcome Kind="Nonnull" Outcome="Top" Message="Possibly calling a method on a null reference" PrimaryILOffset="31" MethodILOffset="0" />
		<Outcome Kind="Requires" Outcome="Top" Message="requires unproven: index &lt; this.Count" PrimaryILOffset="21" MethodILOffset="2c" />
	</Method>
	<Method Name="PISON.SharedDomain.NetworkSnapshotBuilder.Create(PISON.SharedDomain.NetworkModel,System.Collections.Generic.IEnumerable&lt;PISON.SharedDomain.CellData)" Hash="iMH3HFcz9jfvgCtIEG/kd87kLaM=">
		<Outcome Kind="Nonnull" Outcome="Top" Message="Possibly calling a method on a null reference 'cell'" PrimaryILOffset="78" MethodILOffset="0" />
	</Method>
	<Method Name="PISON.SharedDomain.Solution.CalculateTimeToSendOSS()" Hash="YqZR7yAtbdj08cJ3/qTC1K0cchc=">
		<Outcome Kind="MissingPrecondition" Outcome="Top" Message="Missing precondition in an externally visible method. Consider adding Contract.Requires(((PISON.SharedDomain.ExecutionPlan)this.Execution.ExecutionPlan).MaintenanceWindow != null); for parameter validation" PrimaryILOffset="1" MethodILOffset="0" />
	</Method>
	<Method Name="PISON.SharedDomain.PerformanceDataIntegrity.EvaluateIntegrityHistogramm(System.Collections.Generic.ICollection&lt;PISON.SharedDomain.DataIntegrityItem,System.Double)" Hash="ZtvdDAHQ9tEi3uhcv6lXRDJxR58=">
		<Outcome Kind="Nonnull" Outcome="Top" Message="Possibly calling a method on a null reference 'System.Linq.Enumerable.Last(histogram)'" PrimaryILOffset="3c" MethodILOffset="0" />
	</Method>
  <Method Name="PISON.SharedDomain.ExecutionPlan.get_ExclusionNetworkObjects()" Hash="t8wBtovgoyZ4d880d+c1sutWQsw=">
    <Outcome Kind="Ensures" Outcome="Top" Message="ensures unproven: Contract.ForAll(Contract.Result&lt;ICollection&lt;NetworkObject&gt;&gt;(), n =&gt; n != null)" PrimaryILOffset="37" MethodILOffset="42" />
  </Method>
  <Method Name="PISON.SharedDomain.ExecutionPlan.get_NetworkObjectSelections()" Hash="1R9wLWnOXzSajrmGhG2BwS/2DmY=">
    <Outcome Kind="Ensures" Outcome="Top" Message="ensures unproven: Contract.ForAll(Contract.Result&lt;ICollection&lt;NetworkObjectSelection&gt;&gt;(), n =&gt; n != null)" PrimaryILOffset="37" MethodILOffset="42" />
  </Method>
  <Method Name="PISON.SharedDomain.BorderZoneParametersReader.get_CellFrequency()" Hash="ZB0YsukHJZbU9SxD+kJbXtT58gE=">
    <Outcome Kind="Nonnull" Outcome="Top" Message="Possibly calling a method on a null reference 'this.defaults'" PrimaryILOffset="2c" MethodILOffset="0" />
  </Method>
  <Method Name="PISON.SharedDomain.NetworkModel.GetVirtualDetections(PISON.SharedDomain.CellData,System.Collections.Generic.ICollection&lt;T)" Hash="zioOOqGF36fdpjl61KuSNY1vG2E=">
    <Outcome Kind="Ensures" Outcome="Top" Message="ensures unproven: Contract.ForAll(Contract.Result&lt;List&lt;Tuple&lt;T, double&gt;&gt;&gt;(), cen =&gt; cen != null)" PrimaryILOffset="7e" MethodILOffset="91" />
    <Outcome Kind="Requires" Outcome="Top" Message="requires unproven: relation.Distance &gt;= 0" PrimaryILOffset="20" MethodILOffset="b1" />
    <Outcome Kind="Ensures" Outcome="Top" Message="ensures unproven: Contract.ForAll(Contract.Result&lt;List&lt;Tuple&lt;T, double&gt;&gt;&gt;(), cen =&gt; cen != null)" PrimaryILOffset="7e" MethodILOffset="fe" />
  </Method>
  <Method Name="PISON.SharedDomain.NetworkModel.GetVirtualDetection(PISON.SharedDomain.CellData,PISON.SharedDomain.IRelation)" Hash="OtTsEqFDev7ihSol9wrmBwH1eIU=">
    <Outcome Kind="Requires" Outcome="Top" Message="requires unproven: Contract.ForAll(relations, n =&gt;  n.Distance &gt; 0 )" PrimaryILOffset="53" MethodILOffset="26" />
  </Method>
  <Method Name="PISON.SharedDomain.RegisteredOptimizer.get_OptimizerType()" Hash="UenikfRdTfKfuHSJ0u0CWK4YuiY=">
    <Outcome Kind="Enum" Outcome="Top" Message="The returned value may not be in the range defined for this enum value" PrimaryILOffset="0" MethodILOffset="0" />
  </Method>
  <Method Name="PISON.SharedDomain.RegisteredKpi.get_KpiType()" Hash="y+vIDOLVjsQuLqunstQYoBNeRh0=">
    <Outcome Kind="Enum" Outcome="Top" Message="The returned value may not be in the range defined for this enum value" PrimaryILOffset="0" MethodILOffset="0" />
  </Method>
</Assembly>